-
סיבוכיות קולמוגורוב
כל מה שרצית לדעת על סיבוכיות קולמוגורוב:סיבוכיות קולמוגורוב במדעי המחשב, באה לספק אמת מידה על המשאבים הדרושים לייצור אובייקט מסוים. סיבוכיות קולמוגורוב של מחרוזת מוגדרת כאורך תוכנית המחשב המינימלית שהפלט שלה הוא המחרוזת. המושג של סיבוכיות קולמוגורוב מתקשר לנושאים מתורת האינפורמציה, דחיסת נתונים ולמידה חישובית. סיבוכיות קולמוגורוב איננה תלויה באופן מהותי בשפת התכנות אליה מתייחסים…
-
תורת הסיבוכיות
כל מה שרצית לדעת על תורת הסיבוכיות:תורת הסיבוכיות היא ענף של מדעי המחשב שבמסגרתו חוקרים את הסיבוכיות של בעיות, כלומר נבחנים המשאבים הנחוצים לפתרון בעיה נתונה באמצעות מחשב, ומושווית יעילותם של אלגוריתמים שונים לפתרון בעיה זו. המשאב העיקרי הנבחן הוא זמן הריצה, כלומר נבחן משך הזמן הנחוץ לשם ביצוע האלגוריתם. משאב נוסף הוא הזיכרון הנחוץ…
-
שיטת אכרה-באזזי
כל מה שרצית לדעת על שיטת אכרה-באזזי:במדעי המחשב, שיטת אכרה-באזזי היא שיטה המשמשת לניתוח ההתנהגות האסימפטוטית של יחס נסיגה (רקורסיה), אשר מופיע באנליזה של אלגוריתמי הפרד ומשול שבהם תתי-הבעיות הן בגדלים שונים בצורה משמעותית. השיטה מהווה הרחבה משמעותית של שיטת האב, אשר מניחה שתתי-הבעיות של הבעיה הנתונה הן בגדלים זהים.שיטת אכרה-באזזי תקפה לנוסחאות חוזרות של…
-
פונקציה חשיבה
כל מה שרצית לדעת על פונקציה חשיבה:בתורת הסיבוכיות, שהיא ענף של מדעי המחשב, פונקציה חשיבה בזמן היא פונקציה f מהמספרים הטבעיים לעצמם, וקיימת מכונת טיורינג שבהינתן קלט n, תשאיר על הסרט שלה בסוף הריצה את הפלט (f(n בזמן ריצה שלא ארוך מ-(f(n. המטרה של הגדרה זו היא לא להתייחס לפונקציות שאין להן חסם עליון על…
-
EXPTIME
כל מה שרצית לדעת על EXPTIME:בתורת הסיבוכיות, מחלקת הסיבוכיות EXPTIME (נקראת גם EXP או DEXPTIME) היא קבוצת כל בעיות ההכרעה הניתנות לפתרון באמצעות מכונת טיורינג דטרמיניסטית בזמן O ( 2 p ( n ) ) {\displaystyle O(2^{p(n)})} כאשר O {\displaystyle O} הוא סימון אסימפטוטי ו p ( n ) {\displaystyle p(n)} הוא פולינום.ניתן גם להגדיר…
-
כריסטוס פאפאדימיטריו
כל מה שרצית לדעת על כריסטוס פאפאדימיטריו:פרופסור כריסטוס חרילאוס פאפאדימיטריו (ביוונית Χρήστος Χαρίλαος Παπαδημητρίου, נולד ב-16 באוגוסט 1949) הוא מדען מחשב ממוצא יווני, העוסק בעיקר בתחום של סיבוכיות חישובית ואלגוריתמים וישומיהם למאגרי נתונים, אופטימיזציות בינה מלאכותית ועוד, וזוכה פרס קנות' לשנת 2002 עבור תרומתו המתמשכת והיסודית לביסוס התאוריה של מדעי המחשב, ובפרס גדל לשנת 2012…
-
ניתוח לשיעורין
כל מה שרצית לדעת על ניתוח לשיעורין:במדעי המחשב, ניתוח לשיעורין (Amortized analysis) היא שיטה לניתוח אלגוריתמים המתחשבת בסך הפעולות של התוכנית. השיטה מאפשרת חישוב חסם ביצועי אלגוריתם עבור התרחיש הגרוע ביותר ללא התחשבות בקלטים תוך בחינת כלל הפעולות המבוצעות. השיטה מבוססת על-כך שבעוד שחלק מן הפעולות המבוצעות עלולות לצרוך משאבים רבים לעיתים הן אינן מתרחשות…
-
רן רז
כל מה שרצית לדעת על רן רז:רן רז (נולד ב-26 בדצמבר 1966 בירושלים) הוא מדען מחשב ישראלי העוסק בתחום של סיבוכיות חישובית. הוא מכהן כפרופסור למתמטיקה בפקולטה למתמטיקה ומדעי המחשב במכון ויצמן למדע. רז ידוע בזכות עבודתו בנושא מערכות הוכחה אינטראקטיביות.רז זכה בפרס ארדש בשנת 2002 ובפרס מיכאל ברונו ב-2006. עבודותיו זוכות לפרסים בכנסים החשובים…
-
אורקל (מדעי המחשב)
כל מה שרצית לדעת על אורקל (מדעי המחשב):מכונת טיורינג עם אורקל היא מכונת טיורינג בעלת שני סרטים, שיש באפשרותה לתת לאורקל הוראה להחליף את הקלט שעל אחד הסרטים של המכונה בפלט החישוב של האורקל עבור אותו קלט. הוראה זו נחשבת לצעד חישוב יחיד. ניתן להגדיר גם מכונת טיורינג עם יותר מאורקל אחת, ואף עם אינסוף…
-
פרס נבנלינה
כל מה שרצית לדעת על פרס נבנלינה:פרס נבנלינה (Rolf Nevanlinna Prize) הוא פרס המוענק מדי ארבע שנים על ידי הקונגרס הבינלאומי של המתמטיקאים בעבור תרומה יוצאת דופן לאספקטים המתמטיים של תחומים כמו מדעי המחשב, סיבוכיות חישובית, אנליזה נומרית, אלגוריתמיקה, אינטליגנציה מלאכותית, קריפטוגרפיה.הפרס נוסד בשנת 1981 (והוענק לראשונה שנה לאחר מכן) על ידי הוועד המנהל של…